[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 404 455 0 0 0 2026 -1

N.S.

1 1.00 1.46 1.65 0.00 0.00 0.00 7.34 -0.00

time (sec)

N/A 0.542 0.663 0.107 0.000 0.000 0.000 0.526 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 311 364 0 0 0 1394 -1

N.S.

1 1.00 1.43 1.68 0.00 0.00 0.00 6.42 -0.00

time (sec)

N/A 0.236 0.563 0.118 0.000 0.000 0.000 0.517 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

235 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.343 8.899 0.862 0.000 0.000 0.000 0.000 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

106 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.222 2.389 0.769 0.000 0.000 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.089 11.270 3.667 0.000 0.000 0.000 0.000 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.089 2.099 4.269 0.000 0.000 0.000 0.000 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

49 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.107 0.418 0.717 0.000 0.000 0.000 0.000 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 157 341 0 0 0 0 -1

N.S.

1 1.00 0.77 1.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.290 0.246 0.124 0.000 0.000 0.000 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 117 250 0 0 0 876 -1

N.S.

1 1.00 0.83 1.77 0.00 0.00 0.00 6.21 -0.01

time (sec)

N/A 0.225 0.219 0.123 0.000 0.000 0.000 0.509 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 113 227 0 0 0 0 -1

N.S.

1 1.00 0.80 1.60 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.222 0.192 0.112 0.000 0.000 0.000 0.000 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 70 136 0 0 0 346 -1

N.S.

1 1.00 0.89 1.72 0.00 0.00 0.00 4.38 -0.01

time (sec)

N/A 0.154 0.117 0.108 0.000 0.000 0.000 0.503 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 59 108 0 0 0 200 -1

N.S.

1 1.00 0.82 1.50 0.00 0.00 0.00 2.78 -0.01

time (sec)

N/A 0.110 0.081 0.122 0.000 0.000 0.000 0.512 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 19 18 18 53 18 18

N.S.

1 1.00 1.00 1.06 1.00 1.00 2.94 1.00 1.00

time (sec)

N/A 0.032 0.007 0.101 0.473 1.363 1.506 0.500 0.173

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

47 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.103 5.206 0.131 0.000 0.000 0.000 0.000 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

47 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.103 0.879 0.161 0.000 0.000 0.000 0.000 0.000

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.092 0.790 0.483 0.000 0.000 0.000 0.000 0.000

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.092 42.759 0.697 0.000 0.000 0.000 0.000 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

69 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.139 6.217 0.641 0.000 0.000 0.000 0.000 0.000

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.063 41.592 0.283 0.000 0.000 0.000 0.000 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

64 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.076 1.839 0.241 0.000 0.000 0.000 0.000 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.092 34.099 2.746 0.000 0.000 0.000 0.000 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.094 23.019 0.895 0.000 0.000 0.000 0.000 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.095 1.277 0.817 0.000 0.000 0.000 0.000 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.094 71.777 3.309 0.000 0.000 0.000 0.000 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.098 8.769 2.967 0.000 0.000 0.000 0.000 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.063 73.041 2.172 0.000 0.000 0.000 0.000 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

64 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.078 2.940 0.477 0.000 0.000 0.000 0.000 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.092 55.708 5.845 0.000 0.000 0.000 0.000 0.000

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.096 16.920 6.039 0.000 0.000 0.000 0.000 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 12 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.92 0.85 0.85

time (sec)

N/A 0.022 0.005 0.098 0.468 1.647 0.396 0.454 0.124

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 287 308 0 0 0 0 -1

N.S.

1 1.00 1.14 1.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.859 0.978 0.368 0.000 0.000 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

591 591 514 447 0 0 0 0 -1

N.S.

1 1.00 0.87 0.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.064 1.019 0.357 0.000 0.000 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 375 311 0 0 0 0 -1

N.S.

1 1.00 1.56 1.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.450 1.492 0.230 0.000 0.000 0.000 0.000 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 348 304 0 0 0 0 -1

N.S.

1 1.00 1.38 1.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.363 0.641 0.227 0.000 0.000 0.000 0.000 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

171 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.480 1.263 0.783 0.000 0.000 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

485 485 540 603 0 0 0 0 -1

N.S.

1 1.00 1.11 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.012 1.899 0.353 0.000 0.000 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

511 511 686 594 0 0 0 0 -1

N.S.

1 1.00 1.34 1.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.342 1.890 0.352 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

373 373 509 455 0 0 0 0 -1

N.S.

1 1.00 1.36 1.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.819 2.076 0.300 0.000 0.000 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

390 390 522 451 0 0 0 0 -1

N.S.

1 1.00 1.34 1.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 1.266 0.276 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

289 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.884 2.438 0.938 0.000 0.000 0.000 0.000 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F(-2) F A F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

42 42 0 0 0 0 0 46 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 1.10 -0.02

time (sec)

N/A 0.097 3.114 0.009 0.000 0.000 0.000 0.541 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 166 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 0.154 0.323 0.000 0.000 0.000 0.000 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 138 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.046 0.331 0.000 0.000 0.000 0.000 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 38 0 0 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.031 0.107 0.000 0.000 0.000 0.000 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

91 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.432 0.378 0.000 0.000 0.000 0.000 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

187 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.126 1.212 0.441 0.000 0.000 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 363 186 0 0 0 0 0 -1

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.299 0.303 0.292 0.000 0.000 0.000 0.000 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 158 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.164 0.076 0.319 0.000 0.000 0.000 0.000 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 38 0 0 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.041 0.107 0.000 0.000 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

91 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.517 0.357 0.000 0.000 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

431 431 180 0 0 0 0 0 -1

N.S.

1 1.00 0.42 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.405 0.237 0.292 0.000 0.000 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 158 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.176 0.080 0.315 0.000 0.000 0.000 0.000 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 38 0 0 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.027 0.039 0.105 0.000 0.000 0.000 0.000 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

91 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.500 0.339 0.000 0.000 0.000 0.000 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 183 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.180 0.153 0.325 0.000 0.000 0.000 0.000 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 148 0 0 0 0 0 -1

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.057 0.344 0.000 0.000 0.000 0.000 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 38 0 36 0 15 -1

N.S.

1 1.00 1.00 0.90 0.00 0.86 0.00 0.36 -0.02

time (sec)

N/A 0.021 0.022 0.115 0.000 1.786 0.000 0.421 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

90 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.413 0.441 0.000 0.000 0.000 0.000 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

185 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 1.224 0.404 0.000 0.000 0.000 0.000 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 209 0 0 0 0 0 -1

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.301 0.297 0.280 0.000 0.000 0.000 0.000 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 173 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.164 0.093 0.414 0.000 0.000 0.000 0.000 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 38 0 38 0 15 -1

N.S.

1 1.00 1.00 0.90 0.00 0.90 0.00 0.36 -0.02

time (sec)

N/A 0.020 0.028 0.099 0.000 2.093 0.000 0.407 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

90 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.487 0.297 0.000 0.000 0.000 0.000 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 53 20 0 0 0 37 -1

N.S.

1 1.00 2.12 0.80 0.00 0.00 0.00 1.48 -0.04

time (sec)

N/A 0.044 0.054 0.293 0.000 0.000 0.000 0.416 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 336 0 0 0 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.112 0.436 0.318 0.000 0.000 0.000 0.000 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 182 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.207 0.300 0.000 0.000 0.000 0.000 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 118 0 0 0 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.097 0.335 0.000 0.000 0.000 0.000 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 38 0 0 0 0 -1

N.S.

1 1.00 1.00 0.90 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.031 0.111 0.000 0.000 0.000 0.000 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.615 0.349 0.000 0.000 0.000 0.000 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 1.408 0.417 0.000 0.000 0.000 0.000 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 404 0 0 0 0 0 -1

N.S.

1 1.00 1.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.137 0.726 0.303 0.000 0.000 0.000 0.000 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 211 0 0 0 0 0 -1

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.257 0.293 0.000 0.000 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 83 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.111 0.328 0.000 0.000 0.000 0.000 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 38 0 48 0 0 -1

N.S.

1 1.00 1.00 0.90 0.00 1.14 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.029 0.100 0.000 2.071 0.000 0.000 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

103 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.598 0.362 0.000 0.000 0.000 0.000 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

103 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 1.311 0.432 0.000 0.000 0.000 0.000 0.000

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 251 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.202 0.895 0.299 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 142 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.271 0.336 0.000 0.000 0.000 0.000 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 38 0 48 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 1.09 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.027 0.109 0.000 1.710 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

107 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.600 0.369 0.000 0.000 0.000 0.000 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

107 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 1.298 0.438 0.000 0.000 0.000 0.000 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 189 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.243 0.584 0.473 0.000 0.000 0.000 0.000 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 272 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.265 0.583 0.201 0.000 0.000 0.000 0.000 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 182 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.171 0.524 0.188 0.000 0.000 0.000 0.000 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

219 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.372 0.137 0.471 0.000 0.000 0.000 0.000 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

88 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.252 0.193 0.339 0.000 0.000 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

684 684 436 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.452 1.983 0.438 0.000 0.000 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

595 595 464 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.344 1.395 0.152 0.000 0.000 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

466 466 326 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.246 1.061 0.103 0.000 0.000 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

427 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.698 0.149 0.188 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

298 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.530 0.517 0.335 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

906 906 989 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.558 2.659 0.420 0.000 0.000 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

815 815 603 0 0 0 0 0 -1

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.435 2.597 0.145 0.000 0.000 0.000 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

698 698 477 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.347 2.884 0.108 0.000 0.000 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

827 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.100 0.157 0.190 0.000 0.000 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

502 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.876 0.528 0.330 0.000 0.000 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.066 0.348 0.264 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 153 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.227 0.388 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 109 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.143 0.183 0.335 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 70 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.053 0.065 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]